Results for 'Devorah R. Karp'

1000+ found
Order:
  1.  58
    The phasmid and the twig.Tobie Nathan & Devorah R. Karp - 2004 - Common Knowledge 10 (3):518-531.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  48
    Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  3.  13
    Pierce R. S.. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 , pp. 175–182.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. Novel sequence feature variant type analysis of the HLA genetic association in systemic sclerosis.R. Karp David, Marthandan Nishanth, G. E. Marsh Steven, Ahn Chul, C. Arnett Frank, S. DeLuca David, D. Diehl Alexander, Dunivin Raymond, Eilbeck Karen, Feolo Michael & Barry Smith - 2009 - Human Molecular Genetics 19 (4):707-719.
    Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  21
    Independence proofs in predicate logic with infinitely long expressions.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):171-188.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  6.  27
    Twenty-eighth annual meeting of the association for symbolic logic.Carol R. Karp - 1963 - Journal of Symbolic Logic 28 (4):297-308.
  7.  10
    Pierce R. S.. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 , pp. 42–50. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Review: R. S. Pierce, Representation Theorems for Certain Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  13
    Review: R. S. Pierce, A Generalization of Atomic Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
  10.  20
    Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56.
  11.  20
    Bernays Paul. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 1–14. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  9
    Chang C. C.. On the representation of α-complete Boolean algebras. Transactions of the American Mathematical Society, vol. 85 , pp. 208–218. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    Monk Donald. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 , pp. 1447–1457. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  14. Review: Abraham Robinson, Introduction to Model Theory and the Metamathematics of Algebra. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56-56.
  15. Review: C. C. Chang, On the Representation of $alpha$-Complete Boolean Algebras. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.
  16.  8
    Review: Donald Monk, On the Representation Theory for Cylindric Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  17. Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  18.  11
    Review: Paul Bernays, Uber eine Naturliche Erweiterung des Relationenkalkuls. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  17
    Słomiński J.. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  20.  55
    A randomised controlled trial of an Intervention to Improve Compliance with the ARRIVE guidelines (IICARus).Ezgi Tanriver-Ayder, Laura J. Gray, Sarah K. McCann, Ian M. Devonshire, Leigh O’Connor, Zeinab Ammar, Sarah Corke, Mahmoud Warda, Evandro Araújo De-Souza, Paolo Roncon, Edward Christopher, Ryan Cheyne, Daniel Baker, Emily Wheater, Marco Cascella, Savannah A. Lynn, Emmanuel Charbonney, Kamil Laban, Cilene Lino de Oliveira, Julija Baginskaite, Joanne Storey, David Ewart Henshall, Ahmed Nazzal, Privjyot Jheeta, Arianna Rinaldi, Teja Gregorc, Anthony Shek, Jennifer Freymann, Natasha A. Karp, Terence J. Quinn, Victor Jones, Kimberley Elaine Wever, Klara Zsofia Gerlei, Mona Hosh, Victoria Hohendorf, Monica Dingwall, Timm Konold, Katrina Blazek, Sarah Antar, Daniel-Cosmin Marcu, Alexandra Bannach-Brown, Paula Grill, Zsanett Bahor, Gillian L. Currie, Fala Cramond, Rosie Moreland, Chris Sena, Jing Liao, Michelle Dohm, Gina Alvino, Alejandra Clark, Gavin Morrison, Catriona MacCallum, Cadi Irvine, Philip Bath, David Howells, Malcolm R. Macleod, Kaitlyn Hair & Emily S. Sena - 2019 - Research Integrity and Peer Review 4 (1).
    BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  10
    Review: S. Feferman, R. L. Vaught, The First Order Properties of Products of Algebraic Systems. [REVIEW]Carol Karp - 1967 - Journal of Symbolic Logic 32 (2):276-276.
  22.  17
    S. Feferman and R. L. Vaught. The first order properties of products of algebraic systems. Fundamenta mathematicae, vol, 47 , pp. 57–103. [REVIEW]Carol Karp - 1967 - Journal of Symbolic Logic 32 (2):276.
  23. Review: Carol R. Karp, A Note on the Representation of $alpha$-Complete Boolean Algebras. [REVIEW]R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):393-393.
  24.  11
    Karp Carol R.. A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 , pp. 705–707. [REVIEW]R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):393-393.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  10
    Review: Carol R. Karp, Languages with Expressions of Infinite Length. [REVIEW]William P. Hanf - 1968 - Journal of Symbolic Logic 33 (3):477-478.
  26.  11
    Medieval Medical Miniatures. Peter Murray JonesArs Medica: Art, Medicine, and the Human Condition. Diane R. Karp.Karen Reeds - 1986 - Isis 77 (4):688-690.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    Review: Carol R. Karp, Finite-Quantifier Equivalence. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158-158.
  28.  46
    L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 , pp. 171–188. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  26
    Review: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
  30.  8
    Saeculum: Gedenkschrift für Heinrich Otten anlässlich seines 100. Geburtstags. Edited by Andreas Müller-Karpe; Elisabeth Rieken; and Walter Sommerfeld.Richard S. Beale - 2021 - Journal of the American Oriental Society 138 (4).
    Saeculum: Gedenkschrift für Heinrich Otten anlässlich seines 100. Geburtstags. Edited by Andreas Müller-Karpe; Elisabeth Rieken; and Walter Sommerfeld. Studien zu den Boǧazköy-Texten, vol. 58. Wiesbaden: Harrassowitz Verlag, 2015. Pp. xi + 316, illus. €84.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  27
    Karp Carol R.. Languages with expressions of infinite length. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1964, xix + 183 pp. [REVIEW]William P. Hanf - 1968 - Journal of Symbolic Logic 33 (3):477-478.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  36
    Karp Carol R.. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 407–412. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  20
    Paul Roth J. and Karp R. M.. Minimization over Boolean graphs. IBM journal of research and development, vol. 6 , pp. 227–238. [REVIEW]Paweł Szeptycki - 1962 - Journal of Symbolic Logic 27 (2):252-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  27
    Review: J. P. Roth, R. M. Karp, Minimization Over Boolean Graphs. [REVIEW]Paweł Szeptycki - 1962 - Journal of Symbolic Logic 27 (2):252-252.
  35. Sefer Matnat Ḥayim: ʻal ha-sefer Tomer Devorah le-Rabenu Mosheh Ḳordoṿero, zatsal: śiḥot she-neʼemru be-ṿaʻad li-melamde t. sh. b.r.Matityahu Ḥayim Salomon - 2013 - Yerushalayim: [Yaʻaḳov Ḥayim Dinḳel]. Edited by Yaʻaḳov Ḥayim Dinḳel & Moses ben Jacob Cordovero.
     
    Export citation  
     
    Bookmark  
  36. Сутність та значення рейтингової оцінки страхових компаній.С.О Смирнов, R. Pavlov & В.М Горьова - 2010 - Економічний Простір: Зб. Наук. Праць 36:100-108.
    Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  29
    Zum Problem des Beginns von Religions- und Geistesgeschichte.Hermann Müller-Karpe & Annette Rink - 2001 - Zeitschrift für Religions- Und Geistesgeschichte 53 (1):343-355.
  38. Elite Theory and Ideology.Angela Zanotti-Karp - forthcoming - Social Research: An International Quarterly.
     
    Export citation  
     
    Bookmark  
  39. Structuralism and theory of sociological knowledge.Pierre Bourdieu & Angela Zanotti-Karp - forthcoming - Social Research: An International Quarterly.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  40.  7
    Archaeology and History in the Dead Sea Scrolls: The New York University Conference in Memory of Yigael Yadin.Devorah Dimant & Lawrence H. Schiffman - 1992 - Journal of the American Oriental Society 112 (2):322.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. L'apocryphe de jérémie C de qoumrân.Devorah Dimant - 2005 - Revue D'Histoire Et de Philosophie Religieuses 85 (4):497-515.
     
    Export citation  
     
    Bookmark  
  42. Gumnwn.Devorah Dlmant, Charlotte Hempel, Jonathan Stôkl, Magen Broshi, Joe Zlas & Ruth Clements-Nadav Sharon - 2007 - Revue D'Histoire Et de Philosophie Religieuses 87:125.
     
    Export citation  
     
    Bookmark  
  43.  18
    Confessions.R. S. Augustine & Pine-Coffin - 2019 - Hackett Publishing Company.
    "Williams's masterful translation satisfies (at last!) a long-standing need. There are lots of good translations of Augustine's great work, but until now we have been forced to choose between those that strive to replicate in English something of the majesty and beauty of Augustine's Latin style and those that opt instead to convey the careful precision of his philosophical terminology and argumentation. Finally, Williams has succeeded in capturing both sides of Augustine's mind in a richly evocative, impeccably reliable, elegantly readable (...)
    Direct download  
     
    Export citation  
     
    Bookmark   159 citations  
  44.  32
    Letters pro and con.John Alford, Benjamin Karp & George Boas - 1947 - Journal of Aesthetics and Art Criticism 6 (2):193-194.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  14
    Education and Immigration: Settlement Policies and Current Challenges.Devorah Kalekin-Fishman, Pirkko Pitkanen & Gajendra Verma (eds.) - 2002 - Routledge.
    _Education and Immigration_ comprises six reports that emerged from an EU funded comparative research project into the challenges posed to national education systems by immigration and its associated issues and problems. The immigration-related education policies and initiatives of six countries are explained, examined and compared. The book clearly delineates the historical, legal and sociological contexts of the various strategies, and how far these have been adhered to.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  13
    D. G. Leahy and the thinking now occurring.Lissa McCullough & Elliot R. Wolfson (eds.) - 2021 - Albany [New York]: State University of New York Press.
    This book offers a critical introduction to the work of American philosopher D. G. Leahy (1937-2014). Leahy's fundamental thinking can be characterized as an absolute creativity in which all creating is 'live' -- a happening occurring now that manifests a supersaturated polyontological actuality that is essentially created by the logic that characterizes it. Leahy leaves behind the categorial presuppositions of modern thought, eclipsing both Cartesian and Hegelian subjectivities and introducing instead an essentially new form of thinking founded in a nondual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  14
    Structural, spatial, and age effects on visual threshold.Richard Waxman & Eric Karp - 1981 - Bulletin of the Psychonomic Society 18 (4):198-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  28
    Finite quantifier equivalence.Carol Karp - 1965 - Journal of Symbolic Logic 36 (1):407--412.
  49.  6
    Responsibility for Human Rights: Transnational Corporations in Imperfect States.David Jason Karp - 2014 - Cambridge University Press.
    Responsibility for Human Rights provides an original theoretical analysis of which global actors are responsible for human rights, and why. It does this through an evaluation of the different reasons according to which such responsibilities might be assigned: legalism, universalism, capacity and publicness. The book marshals various arguments that speak in favour of and against assigning 'responsibility for human rights' to any state or non-state actor. At the same time, it remains grounded in an incisive interpretation of the world we (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  16
    A relationship between laterality of functioning at 2 days and at 7 years of age.Jeanne Viviani, Gerald Turkewitz & Eric Karp - 1978 - Bulletin of the Psychonomic Society 12 (3):189-192.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000